221. Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
پدیدآورنده : Jonathan Lawry, Jimi Shanahan, Anca Ralescu )eds.(
کتابخانه: (طهران)
موضوع : ، Computational linguistics,Data processing ، Linguistic models,Data processing ، Lexicology,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2873
222. Neural nets :
پدیدآورنده : A F Rocha
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Brain.,Neural networks (Computer science) -- Physiology.,Neural Networks (Computer)
223. Non-monotonic extensions of logic programming :
پدیدآورنده : Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
N68
1995
224. Non-monotonic extensions of logic programming : Second International Workshop NMELP'96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
پدیدآورنده : Jurgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1216
225. Non-monotonic reasoning :
پدیدآورنده : Witold Łukaszewicz
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Logic,Reasoning
رده :
Q335
.
L85
1990
226. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
پدیدآورنده : M. Reinfrank, ]editor[...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
227. Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
N66
1989
228. Nonmonotonic logics : basic concepts, results, and techniques
پدیدآورنده : Schlechta, Karl.
کتابخانه: (طهران)
موضوع : Default reasoning , Logic , Artificial intelligence , Nonmonotonic reasoning
رده :
Q
339
.
S35
1997
229. Nonmonotonic logics : basic concepts, results and techniques
پدیدآورنده : Schlechta, Karl
کتابخانه: (طهران)
موضوع : ، Default reasoning,، Logic,، Artificial intelligence,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1187
230. 5. Österreichische Artificial-Intelligence-Tagung :
پدیدآورنده : edited by Johannes Retti, Karl Leidlmair.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Translators (Computer programs)
231. PRICAI 2004 :
پدیدآورنده : Chengqi Zhang, Hans W. Guesgen, Wai K. Yeap (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.,COMPUTERS -- Intelligence (AI) & Semantics.
رده :
Q334
.
C446
2004
232. PRICAI 2000 :
پدیدآورنده : 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
233. PRIMA 2018 :
پدیدآورنده : Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Multiagent systems.,Network hardware.,Software Engineering.
رده :
QA76
.
76
.
I58
234. Parallel processing and parallel algorithms :
پدیدآورنده : Seyed H Roosta
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
58
S494
2013
235. Part-whole reasoning in an object-centered framework
پدیدآورنده : Lambrix, Patrick
کتابخانه: (طهران)
موضوع : ، Knowledge representation )Information theory(,، Predicate )Logic(,، Whole and parts )Philosophy(,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1771
236. Philosophical Logic and Artificial Intelligence
پدیدآورنده : edited by Richmond H. Thomason.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
237. Philosophy and Cognitive Science:
پدیدآورنده : edited by Andy Clark, Jesús Ezquerro, Jesús M. Larrazabal.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Genetic epistemology.,Logic.
رده :
B808
.
9
E358
1996
238. 15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR
پدیدآورنده : / ller, Andrei Voronkov (eds.)یKrishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Ferm
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
239. Progress in Artificial Intelligence :
پدیدآورنده : edited by Miguel Filgueiras, Luís Damas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
240. Progress in artificial intelligence :
پدیدآورنده : 8th Portuguesse Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 ; Ernesto Costa, Amilcar Cardoso (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- avtomatsko sklepanje -- dokazovanje teoremov -- strojno učenje -- sistemi učenja -- predstavitev znanja -- načini učenja -- inteligentni učni sistemi -- kakovostno sklepanje -- zborniki
